Univalence Axiom (UA)
同一性に関する公理の一つ
Univalence Axiom関連の動画
Univalence Axiomの訳
Univalence : 一価
uni-: 単一の
-valence原子価
Axiom: 原理、(数学、論理学)公理、公準
Univalence Axiomなのでそのまま訳すと一価公理となりそう。
ChatGPTに聞いたら同値性公理と訳してくれた
univalent: 一価
uni-: 単一の
-valent: …(原子)価の
語源: ラテン語「…の力を持つ」
定義
$ (A = B) ≃ (A ≃ B)
確認用
Q. Univalence Axiom
関連
参考